#ifndef ROUNDING_H
#define ROUNDING_H

#include <stdint.h>
#include "params.h"

#ifdef USE_DILITHIUM_NAMESPACE
#define power2round DILITHIUM_NAMESPACE(power2round)
#define decompose DILITHIUM_NAMESPACE(decompose)
#define make_hint DILITHIUM_NAMESPACE(make_hint)
#define use_hint DILITHIUM_NAMESPACE(use_hint)
#endif // USE_DILITHIUM_NAMESPACE

int32_t power2round(int32_t *a0, int32_t a);

int32_t decompose(int32_t *a0, int32_t a);

unsigned int make_hint(int32_t a0, int32_t a1);

int32_t use_hint(int32_t a, unsigned int hint);

#endif
